[next] [prev] [prev-tail] [tail] [up]

2.2.10 Integrals 901 to 1000

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 34 22 0 20 51 51 28

N.S.

1 1.00 1.21 0.79 0.00 0.71 1.82 1.82 1.00

time (sec)

N/A 0.322 0.261 0.229 0.000 0.244 0.140 0.469 6.079

Problem 902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 53 39 39 0 37 107 100 56

N.S.

1 0.91 0.67 0.67 0.00 0.64 1.84 1.72 0.97

time (sec)

N/A 0.348 5.122 0.232 0.000 0.234 0.195 0.612 5.349

Problem 903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 53 37 39 0 51 151 132 67

N.S.

1 0.85 0.60 0.63 0.00 0.82 2.44 2.13 1.08

time (sec)

N/A 0.336 5.154 0.292 0.000 0.251 0.239 0.728 6.268

Problem 904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 75 66 72 116 166 245 166 96

N.S.

1 0.85 0.75 0.82 1.32 1.89 2.78 1.89 1.09

time (sec)

N/A 0.356 3.472 0.485 0.305 0.245 0.426 0.847 5.531

Problem 905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 65 66 61 100 137 201 137 117

N.S.

1 0.79 0.80 0.74 1.22 1.67 2.45 1.67 1.43

time (sec)

N/A 0.375 2.744 0.335 0.312 0.278 0.351 0.670 5.996

Problem 906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 44 41 38 52 108 156 351 39

N.S.

1 0.75 0.69 0.64 0.88 1.83 2.64 5.95 0.66

time (sec)

N/A 0.294 0.143 0.137 0.294 0.250 0.266 0.644 5.554

Problem 907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 53 39 39 68 79 112 79 80

N.S.

1 0.87 0.64 0.64 1.11 1.30 1.84 1.30 1.31

time (sec)

N/A 0.372 2.401 0.237 0.281 0.247 0.220 0.494 5.927

Problem 908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 55 21 45 45 66 45 34

N.S.

1 1.00 2.20 0.84 1.80 1.80 2.64 1.80 1.36

time (sec)

N/A 0.271 0.216 0.167 0.287 0.230 0.154 0.420 5.607

Problem 909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 62 55 81 0 118 133 175 64

N.S.

1 0.87 0.77 1.14 0.00 1.66 1.87 2.46 0.90

time (sec)

N/A 0.344 2.013 0.229 0.000 0.301 0.225 0.467 6.027

Problem 910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 66 52 87 0 79 167 151 76

N.S.

1 0.80 0.63 1.05 0.00 0.95 2.01 1.82 0.92

time (sec)

N/A 0.344 5.385 0.249 0.000 0.278 0.272 0.527 5.611

Problem 911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 45 34 22 0 20 51 68 59

N.S.

1 0.90 0.68 0.44 0.00 0.40 1.02 1.36 1.18

time (sec)

N/A 0.320 0.325 0.274 0.000 0.254 0.168 0.705 6.031

Problem 912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 73 49 44 0 37 107 132 77

N.S.

1 0.84 0.56 0.51 0.00 0.43 1.23 1.52 0.89

time (sec)

N/A 0.348 5.159 0.290 0.000 0.250 0.245 0.804 5.576

Problem 913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 72 47 52 0 51 151 164 88

N.S.

1 0.80 0.52 0.58 0.00 0.57 1.68 1.82 0.98

time (sec)

N/A 0.340 5.217 0.369 0.000 0.231 0.308 1.011 6.191

Problem 914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 75 84 72 132 178 264 178 95

N.S.

1 0.75 0.84 0.72 1.32 1.78 2.64 1.78 0.95

time (sec)

N/A 0.392 1.060 0.571 0.301 0.243 0.495 0.941 6.076

Problem 915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 54 49 46 68 149 219 615 82

N.S.

1 0.70 0.64 0.60 0.88 1.94 2.84 7.99 1.06

time (sec)

N/A 0.298 0.249 0.236 0.284 0.238 0.390 1.094 5.845

Problem 916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 65 75 50 100 120 175 120 117

N.S.

1 0.79 0.91 0.61 1.22 1.46 2.13 1.46 1.43

time (sec)

N/A 0.380 0.880 0.340 0.299 0.235 0.346 0.689 5.692

Problem 917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 53 55 39 68 91 131 91 80

N.S.

1 0.91 0.95 0.67 1.17 1.57 2.26 1.57 1.38

time (sec)

N/A 0.331 0.758 0.254 0.306 0.240 0.260 0.632 5.848

Problem 918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 51 22 60 57 82 57 78

N.S.

1 1.00 2.04 0.88 2.40 2.28 3.28 2.28 3.12

time (sec)

N/A 0.280 0.379 0.211 0.303 0.228 0.184 0.528 5.761

Problem 919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 81 65 102 0 169 175 189 85

N.S.

1 0.85 0.68 1.07 0.00 1.78 1.84 1.99 0.89

time (sec)

N/A 0.363 0.944 0.242 0.000 0.250 0.244 0.533 5.838

Problem 920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 82 64 105 0 135 199 206 93

N.S.

1 0.81 0.63 1.04 0.00 1.34 1.97 2.04 0.92

time (sec)

N/A 0.366 5.869 0.272 0.000 0.242 0.292 0.622 5.910

Problem 921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 90 69 110 0 93 212 183 103

N.S.

1 0.79 0.61 0.96 0.00 0.82 1.86 1.61 0.90

time (sec)

N/A 0.360 5.507 0.313 0.000 0.244 0.313 0.782 5.416

Problem 922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 45 34 22 0 20 51 83 76

N.S.

1 0.90 0.68 0.44 0.00 0.40 1.02 1.66 1.52

time (sec)

N/A 0.319 0.291 0.511 0.000 0.241 0.215 0.955 6.217

Problem 923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 88 49 44 0 37 107 164 98

N.S.

1 1.01 0.56 0.51 0.00 0.43 1.23 1.89 1.13

time (sec)

N/A 0.334 5.181 0.349 0.000 0.239 0.311 1.166 5.352

Problem 924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 81 63 97 0 129 143 189 82

N.S.

1 0.85 0.66 1.02 0.00 1.36 1.51 1.99 0.86

time (sec)

N/A 0.355 4.153 0.288 0.000 0.248 0.228 0.534 5.982

Problem 925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 62 53 81 0 88 100 175 61

N.S.

1 0.87 0.75 1.14 0.00 1.24 1.41 2.46 0.86

time (sec)

N/A 0.348 3.405 0.224 0.000 0.245 0.197 0.468 5.348

Problem 926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 48 45 59 0 39 68 119 45

N.S.

1 0.87 0.82 1.07 0.00 0.71 1.24 2.16 0.82

time (sec)

N/A 0.351 2.545 0.213 0.000 0.236 0.176 0.419 5.631

Problem 927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 32 20 0 18 37 31 19

N.S.

1 1.00 1.39 0.87 0.00 0.78 1.61 1.35 0.83

time (sec)

N/A 0.284 0.138 0.186 0.000 0.230 0.103 0.365 5.626

Problem 928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 32 29 31 0 46 117 43 32

N.S.

1 0.86 0.78 0.84 0.00 1.24 3.16 1.16 0.86

time (sec)

N/A 0.284 0.036 0.181 0.000 0.235 0.141 0.336 5.785

Problem 929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 79 90 73 0 57 178 107 66

N.S.

1 0.91 1.03 0.84 0.00 0.66 2.05 1.23 0.76

time (sec)

N/A 0.444 1.080 0.257 0.000 0.236 0.206 0.395 5.242

Problem 930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 118 100 94 0 68 214 115 77

N.S.

1 0.95 0.81 0.76 0.00 0.55 1.73 0.93 0.62

time (sec)

N/A 0.405 1.257 0.262 0.000 0.232 0.228 0.487 6.442

Problem 931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 82 62 105 0 105 155 206 90

N.S.

1 0.81 0.61 1.04 0.00 1.04 1.53 2.04 0.89

time (sec)

N/A 0.366 3.539 0.277 0.000 0.245 0.276 0.607 5.184

Problem 932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 66 50 80 0 54 122 151 73

N.S.

1 0.80 0.60 0.96 0.00 0.65 1.47 1.82 0.88

time (sec)

N/A 0.349 3.146 0.264 0.000 0.237 0.229 0.512 6.240

Problem 933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 34 22 0 20 46 51 28

N.S.

1 1.00 1.21 0.79 0.00 0.71 1.64 1.82 1.00

time (sec)

N/A 0.323 0.297 0.233 0.000 0.231 0.131 0.464 5.143

Problem 934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 22 0 33 88 61 21

N.S.

1 1.00 1.00 0.88 0.00 1.32 3.52 2.44 0.84

time (sec)

N/A 0.288 0.927 0.198 0.000 0.226 0.148 0.410 6.182

Problem 935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 96 90 73 0 57 172 107 66

N.S.

1 0.95 0.89 0.72 0.00 0.56 1.70 1.06 0.65

time (sec)

N/A 0.388 0.908 0.226 0.000 0.237 0.184 0.396 5.364

Problem 936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 58 39 51 0 68 221 57 38

N.S.

1 0.91 0.61 0.80 0.00 1.06 3.45 0.89 0.59

time (sec)

N/A 0.340 0.062 0.166 0.000 0.259 0.230 0.437 6.208

Problem 937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 105 134 114 0 79 258 128 88

N.S.

1 0.92 1.18 1.00 0.00 0.69 2.26 1.12 0.77

time (sec)

N/A 0.521 1.281 0.267 0.000 0.231 0.307 0.561 5.913

Problem 938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 123 87 139 0 163 246 272 139

N.S.

1 0.80 0.56 0.90 0.00 1.06 1.60 1.77 0.90

time (sec)

N/A 0.393 5.980 0.332 0.000 0.239 0.388 1.063 6.171

Problem 939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 104 80 126 0 120 202 240 138

N.S.

1 0.78 0.60 0.94 0.00 0.90 1.51 1.79 1.03

time (sec)

N/A 0.382 3.824 0.339 0.000 0.239 0.358 0.937 6.581

Problem 940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 90 67 101 0 68 168 183 102

N.S.

1 0.79 0.59 0.89 0.00 0.60 1.47 1.61 0.89

time (sec)

N/A 0.351 2.954 0.298 0.000 0.243 0.304 0.788 5.925

Problem 941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 45 34 22 0 20 46 68 55

N.S.

1 0.90 0.68 0.44 0.00 0.40 0.92 1.36 1.10

time (sec)

N/A 0.331 0.275 0.244 0.000 0.236 0.170 0.693 5.577

Problem 942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 53 39 39 0 37 95 100 56

N.S.

1 0.91 0.67 0.67 0.00 0.64 1.64 1.72 0.97

time (sec)

N/A 0.352 2.061 0.288 0.000 0.232 0.196 0.628 5.876

Problem 943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 23 21 0 45 129 90 20

N.S.

1 1.00 0.92 0.84 0.00 1.80 5.16 3.60 0.80

time (sec)

N/A 0.290 0.368 0.263 0.000 0.239 0.181 0.531 5.774

Problem 944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 118 102 94 0 68 207 115 77

N.S.

1 0.90 0.78 0.72 0.00 0.52 1.58 0.88 0.59

time (sec)

N/A 0.392 0.959 0.284 0.000 0.237 0.235 0.457 5.689

Problem 945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 140 134 114 0 79 258 128 87

N.S.

1 0.87 0.83 0.71 0.00 0.49 1.60 0.80 0.54

time (sec)

N/A 0.414 1.100 0.253 0.000 0.237 0.309 0.563 6.636

Problem 946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 84 49 71 0 90 296 67 57

N.S.

1 0.92 0.54 0.78 0.00 0.99 3.25 0.74 0.63

time (sec)

N/A 0.424 0.071 0.199 0.000 0.238 0.342 0.578 5.173

Problem 947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 124 90 147 0 134 243 270 170

N.S.

1 0.78 0.56 0.92 0.00 0.84 1.52 1.69 1.06

time (sec)

N/A 0.384 5.447 0.388 0.000 0.251 0.423 1.227 8.458

Problem 948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 108 75 122 0 82 209 215 146

N.S.

1 0.74 0.51 0.84 0.00 0.56 1.43 1.47 1.00

time (sec)

N/A 0.378 1.917 0.334 0.000 0.245 0.363 1.059 6.997

Problem 949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 45 34 22 0 20 46 83 69

N.S.

1 0.90 0.68 0.44 0.00 0.40 0.92 1.66 1.38

time (sec)

N/A 0.318 0.679 0.293 0.000 0.227 0.207 0.876 5.819

Problem 950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 73 49 44 0 37 95 132 75

N.S.

1 0.84 0.56 0.51 0.00 0.43 1.09 1.52 0.86

time (sec)

N/A 0.352 2.111 0.309 0.000 0.233 0.252 0.813 6.414

Problem 951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 53 37 39 0 51 139 132 64

N.S.

1 0.85 0.60 0.63 0.00 0.82 2.24 2.13 1.03

time (sec)

N/A 0.358 1.563 0.265 0.000 0.236 0.246 0.709 5.928

Problem 952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 22 0 57 167 117 21

N.S.

1 1.00 1.00 0.88 0.00 2.28 6.68 4.68 0.84

time (sec)

N/A 0.294 0.351 0.294 0.000 0.232 0.213 0.617 5.730

Problem 953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 140 140 115 0 79 246 127 88

N.S.

1 0.86 0.86 0.71 0.00 0.49 1.52 0.78 0.54

time (sec)

N/A 0.408 0.908 0.307 0.000 0.235 0.264 0.541 6.863

Problem 954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 162 145 135 0 90 296 135 98

N.S.

1 0.84 0.75 0.70 0.00 0.47 1.53 0.70 0.51

time (sec)

N/A 0.421 1.138 0.312 0.000 0.231 0.358 0.609 7.682

Problem 955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 184 156 155 0 101 333 147 109

N.S.

1 0.83 0.70 0.70 0.00 0.45 1.49 0.66 0.49

time (sec)

N/A 0.446 1.396 0.291 0.000 0.236 0.411 0.760 8.415

Problem 956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 79 51 66 67 83 0 0 155

N.S.

1 0.86 0.55 0.72 0.73 0.90 0.00 0.00 1.68

time (sec)

N/A 0.389 1.722 1.613 0.207 0.246 0.000 0.000 8.014

Problem 957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 55 37 47 45 57 0 0 87

N.S.

1 0.92 0.62 0.78 0.75 0.95 0.00 0.00 1.45

time (sec)

N/A 0.381 1.393 0.948 0.219 0.242 0.000 0.000 5.921

Problem 958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 22 19 26 42 19 29

N.S.

1 1.00 1.00 0.88 0.76 1.04 1.68 0.76 1.16

time (sec)

N/A 0.316 0.544 0.480 0.215 0.239 1.347 0.359 0.658

Problem 959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

95 87 94 78 106 250 0 0 81

N.S.

1 0.92 0.99 0.82 1.12 2.63 0.00 0.00 0.85

time (sec)

N/A 0.382 0.755 0.771 0.303 0.246 0.000 0.000 0.511

Problem 960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

138 134 53 117 153 275 0 0 132

N.S.

1 0.97 0.38 0.85 1.11 1.99 0.00 0.00 0.96

time (sec)

N/A 0.417 0.778 0.717 0.294 0.243 0.000 0.000 6.230

Problem 961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

181 181 53 156 192 286 0 0 179

N.S.

1 1.00 0.29 0.86 1.06 1.58 0.00 0.00 0.99

time (sec)

N/A 0.425 0.771 0.654 0.297 0.241 0.000 0.000 6.164

Problem 962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 81 60 66 67 98 0 0 95

N.S.

1 0.86 0.64 0.70 0.71 1.04 0.00 0.00 1.01

time (sec)

N/A 0.399 2.096 0.658 0.247 0.243 0.000 0.000 10.562

Problem 963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 57 50 47 46 71 0 0 168

N.S.

1 0.92 0.81 0.76 0.74 1.15 0.00 0.00 2.71

time (sec)

N/A 0.384 1.538 0.585 0.319 0.241 0.000 0.000 8.855

Problem 964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 22 19 39 44 19 47

N.S.

1 1.00 1.00 0.81 0.70 1.44 1.63 0.70 1.74

time (sec)

N/A 0.312 0.680 0.424 0.294 0.240 1.349 0.418 0.213

Problem 965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

95 79 126 77 106 256 0 0 83

N.S.

1 0.83 1.33 0.81 1.12 2.69 0.00 0.00 0.87

time (sec)

N/A 0.393 1.197 0.642 0.472 0.243 0.000 0.000 0.324

Problem 966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

146 128 53 97 151 291 0 0 134

N.S.

1 0.88 0.36 0.66 1.03 1.99 0.00 0.00 0.92

time (sec)

N/A 0.415 1.077 0.577 0.736 0.246 0.000 0.000 5.932

Problem 967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

193 175 53 116 192 304 0 0 181

N.S.

1 0.91 0.27 0.60 0.99 1.58 0.00 0.00 0.94

time (sec)

N/A 0.443 1.113 0.650 0.318 0.239 0.000 0.000 6.548

Problem 968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 81 66 66 67 116 0 0 97

N.S.

1 0.86 0.70 0.70 0.71 1.23 0.00 0.00 1.03

time (sec)

N/A 0.406 2.967 0.740 0.229 0.258 0.000 0.000 9.797

Problem 969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 57 54 47 46 87 0 0 83

N.S.

1 0.92 0.87 0.76 0.74 1.40 0.00 0.00 1.34

time (sec)

N/A 0.371 2.097 0.628 0.208 0.239 0.000 0.000 11.607

Problem 970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 22 19 53 44 0 120

N.S.

1 1.00 1.00 0.81 0.70 1.96 1.63 0.00 4.44

time (sec)

N/A 0.330 0.898 0.424 0.208 0.241 3.376 0.000 0.333

Problem 971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

125 103 53 95 128 261 0 0 109

N.S.

1 0.82 0.42 0.76 1.02 2.09 0.00 0.00 0.87

time (sec)

N/A 0.400 1.151 0.579 0.298 0.251 0.000 0.000 0.383

Problem 972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

146 120 160 95 153 299 0 0 135

N.S.

1 0.82 1.10 0.65 1.05 2.05 0.00 0.00 0.92

time (sec)

N/A 0.412 2.060 0.635 0.304 0.246 0.000 0.000 0.299

Problem 973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

193 169 53 114 192 312 0 0 181

N.S.

1 0.88 0.27 0.59 0.99 1.62 0.00 0.00 0.94

time (sec)

N/A 0.437 1.781 0.628 0.294 0.243 0.000 0.000 6.442

Problem 974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 77 49 66 70 74 0 0 113

N.S.

1 0.86 0.54 0.73 0.78 0.82 0.00 0.00 1.26

time (sec)

N/A 0.405 2.203 0.653 0.221 0.239 0.000 0.000 5.941

Problem 975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 53 35 47 45 48 0 0 77

N.S.

1 0.91 0.60 0.81 0.78 0.83 0.00 0.00 1.33

time (sec)

N/A 0.380 1.809 0.641 0.206 0.238 0.000 0.000 5.861

Problem 976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 22 19 43 44 0 65

N.S.

1 1.00 1.00 0.88 0.76 1.72 1.76 0.00 2.60

time (sec)

N/A 0.309 0.684 0.513 0.212 0.231 1.169 0.000 6.009

Problem 977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

124 115 53 102 126 272 0 0 113

N.S.

1 0.93 0.43 0.82 1.02 2.19 0.00 0.00 0.91

time (sec)

N/A 0.394 0.649 0.619 0.306 0.256 0.000 0.000 6.049

Problem 978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

167 162 53 120 169 295 0 0 156

N.S.

1 0.97 0.32 0.72 1.01 1.77 0.00 0.00 0.93

time (sec)

N/A 0.427 0.926 0.631 0.294 0.246 0.000 0.000 5.736

Problem 979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

210 209 53 139 208 306 0 0 202

N.S.

1 1.00 0.25 0.66 0.99 1.46 0.00 0.00 0.96

time (sec)

N/A 0.431 0.940 0.619 0.295 0.252 0.000 0.000 6.133

Problem 980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 77 64 64 68 62 0 0 98

N.S.

1 0.86 0.71 0.71 0.76 0.69 0.00 0.00 1.09

time (sec)

N/A 0.422 3.808 0.628 0.211 0.234 0.000 0.000 6.351

Problem 981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 55 55 44 44 62 0 0 98

N.S.

1 0.92 0.92 0.73 0.73 1.03 0.00 0.00 1.63

time (sec)

N/A 0.392 3.134 0.560 0.196 0.230 0.000 0.000 6.409

Problem 982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 22 19 56 46 0 93

N.S.

1 1.00 1.00 0.81 0.70 2.07 1.70 0.00 3.44

time (sec)

N/A 0.335 1.061 0.450 0.233 0.237 5.705 0.000 6.452

Problem 983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

156 147 53 121 141 297 0 0 139

N.S.

1 0.94 0.34 0.78 0.90 1.90 0.00 0.00 0.89

time (sec)

N/A 0.419 1.049 0.580 0.310 0.245 0.000 0.000 0.807

Problem 984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

199 194 53 139 184 320 0 0 182

N.S.

1 0.97 0.27 0.70 0.92 1.61 0.00 0.00 0.91

time (sec)

N/A 0.441 1.430 0.577 0.289 0.250 0.000 0.000 6.144

Problem 985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

242 241 53 158 223 331 0 0 229

N.S.

1 1.00 0.22 0.65 0.92 1.37 0.00 0.00 0.95

time (sec)

N/A 0.469 1.605 0.588 0.297 0.254 0.000 0.000 6.456

Problem 986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 79 66 57 65 76 0 0 121

N.S.

1 0.86 0.72 0.62 0.71 0.83 0.00 0.00 1.32

time (sec)

N/A 0.396 5.443 0.645 0.218 0.232 0.000 0.000 7.294

Problem 987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 57 54 47 44 76 0 0 123

N.S.

1 0.92 0.87 0.76 0.71 1.23 0.00 0.00 1.98

time (sec)

N/A 0.399 4.830 0.603 0.203 0.232 0.000 0.000 6.905

Problem 988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 22 19 68 46 0 118

N.S.

1 1.00 1.00 0.81 0.70 2.52 1.70 0.00 4.37

time (sec)

N/A 0.331 1.398 0.420 0.207 0.230 8.448 0.000 6.950

Problem 989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

188 179 53 140 162 316 0 0 165

N.S.

1 0.95 0.28 0.74 0.86 1.68 0.00 0.00 0.88

time (sec)

N/A 0.440 1.234 0.622 0.295 0.251 0.000 0.000 0.712

Problem 990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

231 226 53 158 205 339 0 0 208

N.S.

1 0.98 0.23 0.68 0.89 1.47 0.00 0.00 0.90

time (sec)

N/A 0.459 2.325 0.587 0.289 0.266 0.000 0.000 6.541

Problem 991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

274 273 53 177 244 350 0 0 255

N.S.

1 1.00 0.19 0.65 0.89 1.28 0.00 0.00 0.93

time (sec)

N/A 0.468 2.367 0.571 0.289 0.266 0.000 0.000 6.361

Problem 992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 157 191 154 662 361 0 311 0

N.S.

1 1.02 1.24 1.00 4.30 2.34 0.00 2.02 0.00

time (sec)

N/A 0.335 3.236 1.167 0.375 0.276 0.000 1.857 0.000

Problem 993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 108 176 122 447 289 0 0 0

N.S.

1 1.02 1.66 1.15 4.22 2.73 0.00 0.00 0.00

time (sec)

N/A 0.298 1.620 0.764 0.370 0.263 0.000 0.000 0.000

Problem 994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 63 96 104 217 0 0 62

N.S.

1 1.00 1.00 1.52 1.65 3.44 0.00 0.00 0.98

time (sec)

N/A 0.271 0.717 0.794 0.354 0.257 0.000 0.000 7.159

Problem 995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 41 50 35 63 0 0 34

N.S.

1 1.00 1.00 1.22 0.85 1.54 0.00 0.00 0.83

time (sec)

N/A 0.264 0.729 0.871 0.300 0.239 0.000 0.000 0.978

Problem 996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 99 68 74 0 75 0 0 135

N.S.

1 1.10 0.76 0.82 0.00 0.83 0.00 0.00 1.50

time (sec)

N/A 0.293 0.993 0.887 0.000 0.244 0.000 0.000 7.569

Problem 997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 153 80 85 0 86 0 0 160

N.S.

1 1.12 0.59 0.62 0.00 0.63 0.00 0.00 1.18

time (sec)

N/A 0.307 1.467 0.853 0.000 0.241 0.000 0.000 7.484

Problem 998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 207 90 95 0 97 0 0 183

N.S.

1 1.14 0.49 0.52 0.00 0.53 0.00 0.00 1.01

time (sec)

N/A 0.325 1.977 0.848 0.000 0.239 0.000 0.000 8.130

Problem 999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 157 137 186 887 432 0 0 0

N.S.

1 0.99 0.86 1.17 5.58 2.72 0.00 0.00 0.00

time (sec)

N/A 0.310 2.475 0.790 0.423 0.258 0.000 0.000 0.000

Problem 1000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 111 121 128 641 360 0 293 0

N.S.

1 0.98 1.07 1.13 5.67 3.19 0.00 2.59 0.00

time (sec)

N/A 0.291 2.036 0.696 0.361 0.262 0.000 1.749 0.000

[next] [prev] [prev-tail] [front] [up]